CLIからRaspberry Pi Picoを操作するためのOS